Notes on P-Algebra (3): Cartesian Product of Process Structures
نویسنده
چکیده
We establish a cartesian presentation of a product of an indexed family of process structures, giving an analogue of a similar presentation of set-theoretic product. Such a presentation is non-trivial due to a speci c nature of the process relation in process structures and forms a basis of the algebraic theory of processes to be developed elsewhere.
منابع مشابه
On the character space of vector-valued Lipschitz algebras
We show that the character space of the vector-valued Lipschitz algebra $Lip^{alpha}(X, E)$ of order $alpha$ is homeomorphic to the cartesian product $Xtimes M_E$ in the product topology, where $X$ is a compact metric space and $E$ is a unital commutative Banach algebra. We also characterize the form of each character on $Lip^{alpha}(X, E)$. By appealing to the injective tensor product, we the...
متن کاملComposition Theorems for Generalized Sum and Recursively Defined Types
Composition theorems are tools which reduce reasoning about compound data structures to reasoning about their parts. For example, the truth value of a sentence about the Cartesian product of two structures can be reduced to the truth values of sentences on the components of the product. A seminal example of a compositional theorem is the Feferman-Vaught Theorem [2]. Feferman and Vaught introduc...
متن کاملInduction, Coinduction, and Adjoints
We investigate the reasons for which the existence of certain right adjoints implies the existence of some final coalgebras, and vice-versa. In particular we prove and discuss the following theorem which has been partially available in the literature: let F a G be a pair of adjoint functors, and suppose that an initial algebra F̂ (X) of the functor H(Y ) = X + F (Y ) exists; then a right adjoint...
متن کاملSome notes on the existence of an inequality in Banach algebra
We shall prove an existence inequality for two maps on Banach algebra, withan example and in sequel we have some results on R and Rn spaces. This waycan be applied for generalization of some subjects of mathematics in teachingwhich how we can extend a math problem to higher level.
متن کاملSome notes on L-projections on Fourier-Stieltjes algebras
In this paper, we investigate the relation between L-projections and conditional expectations on subalgebras of the Fourier Stieltjes algebra B(G), and we will show that compactness of G plays an important role in this relation.
متن کامل